Is Pizza fully compatible with Java? Are there Java programs which Pizza does not accept?

Pizza is a strict superset of Java. Every valid Java program is also a valid Pizza program, and behaves the same way under both languages.

Can Pizza binaries be used as applets?

Yes. The Pizza compiler generates code that passes the Java verifier. The code should run with every standard Java VM.

Where can I get a reference to Pizza's extensions of Java?

See the documentation page, which lists a number of information sources.

Where is Pizza heading? Does Sun know about/support the Pizza project?

We are currently implementing the heterogeneous translation of parametric polymorphism. Sun is considering a number of ways is which parametrized classes might be included in the Java standard, including our approach, and is supporting our work with machine and cash grants.